Notice: Use of undefined constant hlavicka - assumed 'hlavicka' in /afs/zcu.cz/project/www/www-esfkfi/organon/opory/logh/du/du_pl/index.php on line 11
1) Rozhodněte, které z následujících formulí jsou správně utvořené.
2) Všechny správně utvořené formule převeďte do prenexního tvaru.
3) Určete, které ze správně utvořených formulí jsou vzájemně ekvivalentní.
Notice: Use of undefined constant paticka - assumed 'paticka' in /afs/zcu.cz/project/www/www-esfkfi/organon/opory/logh/du/du_pl/index.php on line 64
Prosím, abyste do listu se zadáním domácího úkolu psali pouze výsledky.
Pokud chcete zkontrolovat i postup úprav transformací, napište je (pokud možno čitelně) na druhou stranu nebo připevněte k zadání další papír, nejlépe sešívačkou.
Děkuji.